{% load gaev_extras %}

<div class="details_section_title">Results of this prover on TPTP problems:</div>

<table>
{% for problem in section.problems %}
	<tr>
	<td>
	{{problem.caption}}
	</td>
	{% for result in section.results|attr:problem.short %}
		<td class="{{ result.type }}">
		<a href="{{ result.url }}" title="{{ result.time }} s">{{ result.caption }}</a>
		</td>
	{% endfor %}
	</tr>
{% endfor %}
</table>

{% if not section.problems %}
None
{% endif %}
